doing some research on formal methods